1
Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis]

Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis]

Năm:
2006
Ngôn ngữ:
english
File:
PDF, 1.39 MB
0 / 0
english, 2006